Modeling Alternatives in Exception Executions
نویسندگان
چکیده
To date, the ability of a business process designer to produce a solid, well-validated workflow models is limited, especially since all necessary scenarios that need to be covered by the workflow are hard to predict. Workflow management systems (WfMSs), serving as the main vehicle of business process execution, should recognize those limits, and increase its support to designers in this task. One aspect of such assistance is in exception handlers generation. In this paper we propose a model language enrichment for expressing workflow semantics, in the context of alternative solutions, within the process model. Thus, enabling the designer to state which possible alternatives and their applicability to changing execution paths states. Using this enrichment, an inference algorithm can efficiently find an adequate alternative. The model language is used as a basis for a design tool and an execution environment, which semi-automatically generates exception handlers, resulting, due to a reduced search space, in a smaller set of exceptions for the designer/user to choose from.
منابع مشابه
Process algebraic modeling of authentication protocols for analysis of parallel multi-session executions
Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions of a protocol, and because an agent may play both the initiator and responder role in parallel sessions. We take advantage of the notion of transition systems to specify authen...
متن کاملبرآورد خطر زمینلرزه در استان مرکزی
Evaluation of intercity trips may be used for anticipation of trip demands, services’ pricing and improvement of the studies for contradiction determination. Usage of trip demand modeling processes, like what existed in the classic method for analyzing urban trip demand, would make the analysis of road trips possible. A substitute method for 4 Steps Models is to use Direct Demand Modeling whic...
متن کاملتدوین متدولوژی ارزیابی پارامترهای مؤثر بر تقاضای سفرهای مسافری هوایی در ایران
Evaluation of intercity trips may be used for anticipation of trip demands, services’ pricing and improvement of the studies for contradiction determination. Usage of trip demand modeling processes, like what existed in the classic method for analyzing urban trip demand, would make the analysis of road trips possible. A substitute method for 4 Steps Models is to use Direct Demand Modeling whi...
متن کاملEvent-based Modeling and Analysis of Distributed Workkow Executions
Workkows are computer supported processes composed of related activities that are executed in highly heterogeneous and distributed environments. Aspects covered in workkow management range from systems design issues and transactional work-ows to business process modeling and business process re-engineering. Workkow executions have so far mostly been studied in technical terms like client-server...
متن کاملDynamic Controllability of Temporally-flexible Reactive Programs
In this paper we extend dynamic controllability of temporally-flexible plans to temporally-flexible reactive programs. We consider three reactive programming language constructs whose behavior depends on runtime observations; conditional execution, iteration, and exception handling. Temporally-flexible reactive programs are distinguished from temporally-flexible plans in that program execution ...
متن کامل